Référentiel de l'informatique

George Boole

George Boole était un mathématicien et logicien britannique, né le 2 novembre 1815 à Lincoln, en Angleterre, et décédé le 8 décembre 1864 à Ballintemple, en Irlande.

Vie privé/public

• Boole est surtout connu pour ses travaux fondamentaux dans le domaine de la logique mathématique. Il a développé un système algébrique symbolique, connu sous le nom d'algèbre booléenne, qui a jeté les bases de l'algèbre des ensembles et de la logique formelle moderne.
• En utilisant des opérations logiques simples telles que l'ET (AND), le OU (OR) et la NÉGATION (NOT), Boole a montré comment les raisonnements logiques pouvaient être représentés de manière formelle et symbolique.
• En plus de ses travaux en logique, George Boole était également un professeur de mathématiques respecté. Il a enseigné à la Queen's College de Cork, en Irlande, où il a passé une grande partie de sa vie professionnelle.